punch holder shank - German English Dictionary